$\forall$$T$:Type, $Q$, $P$:($T$$\rightarrow$Prop). $P$ as strong as $Q$  $\in$ Prop